Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
521	Structural Shocks and the Comovements between Output and Interest Rates Elmar Mertens1 Board of Governors of the Federal Reserve System, Washington D.C[removed]Abstract Add to Reading List Source URL: www.szgerzensee.ch Language: English - Date: 2010-02-19 09:19:10 Real business cycle theory Business cycle Inflation Shock Vector autoregression Monetary policy Technology shock Keynesian economics Economic model Macroeconomics Economics Statistics
522	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
523	A CONDENSED MATTER INTERPRETATION OF SM FERMIONS AND GAUGE FIELDS I. SCHMELZER Abstract. We present the bundle (Aff(3) ⊗ C ⊗ Λ)(R3 ), with a geometric Dirac equation on it, as a three-dimensional geometric interpret Add to Reading List Source URL: ilja-schmelzer.de Language: English - Date: 2013-12-20 07:51:32 BRST quantization Standard Model Dirac equation Canonical quantization Lattice Spin Fermionic field Dirac operator Physics Quantum field theory Gauge theory
524	Revealed Preference, Rational Inattention, and Costly Information Acquisition Andrew Caplinyand Mark Deanz August[removed]Abstract Add to Reading List Source URL: www.econ.brown.edu Language: English - Date: 2014-08-20 09:57:56 Statistical theory Critical thinking Decision making Neuropsychological assessment Entropy Prior probability Economic model Science Multi-criteria decision analysis Decision theory Statistics Probability and statistics
525	A Generic Abstract Syntax Model for Embedded Languages Emil Axelsson Chalmers University of Technology [removed] Abstract Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-07-02 14:56:42 Subroutines Recursion Control flow Data types Computability theory Eval Map Generic programming ECL programming language Software engineering Computing Computer programming
526	Logical Prior Probability Abram Demski? Institute for Creative Technologies, 12015 Waterfront Drive, Playa Vista, CA[removed]Abstract. A Bayesian prior over first-order theories is defined. It is shown that the prior can b Add to Reading List Source URL: agi-conference.org Language: English - Date: 2012-12-09 10:01:49 Philosophical logic Model theory Entailment Metalogic Information theory Conditional probability Independence Modal logic Probabilistic logic Logic Probability theory Non-classical logic
527	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic Philosophical logic Semantics
528	A Positive Theory of Tax Reform Ethan Ilzetzkiy This Draft June 6, 2014. Abstract The political impediments to reform and the political forces allowing its success are studied in a model where the tax base and Add to Reading List Source URL: www.bus.umich.edu Language: English - Date: 2014-09-24 08:39:19 Public finance Tax Value added tax Income tax in the United States Public economics Political economy Taxation Business Flat tax Taxation in the United States Tax reform Finance
529	Cascading Behavior in Large Blog Graphs Patterns and a model Jure Leskovec, Mary McGlohon, Christos Faloutsos Abstract How do blogs cite and influence each other? How do such links evolve? Does the popularity of old blog Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2011-11-19 02:38:52 Blog Cascades Cascade Range Information cascade Mathematics Human behavior Graph theory Technology Degree distribution
530	A Note on the Transitivity of Parthood Achille C. Varzi Department of Philosophy, Columbia University (New York) [Final version published in Applied Ontology 1:[removed]), 141–[removed]Abstract. That parthood is a transiti Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2006-09-28 10:38:18 Semantics Predicate logic Mereology Model theory Functions and mappings Function Interpretation Predicate Intransitivity Mathematics Mathematical logic Logic

UPDATE